Type variable - PDFSEARCH.IO - Document Search Engine

Type variable
Results: 393

#	Item
341	LNCS[removed]Explicit-State Software Model Checking Based on CEGAR and Interpolation Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2013-10-11 06:59:10 Data types Type theory Function Data-flow analysis Variable Algorithm Model checking Abstraction Programming language Mathematics Software engineering Computing
342	LNCS[removed]Domain Types: Abstract-Domain Selection Based on Variable Usage Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2013-11-30 14:35:51 Data types Type theory Binary decision diagram Boolean algebra Diagrams Model checking Function Variable Type system Mathematics Mathematical logic Software engineering
343	N I E L S J O U B E R T, C R Y S TA L L E M I R E G E T T I N G S TA R T E D W I T H LISZT AU G U S T[removed] Add to Reading List Source URL: liszt.stanford.edu Language: English - Date: 2011-08-14 01:25:12 Type theory Data types Type system Franz Liszt Scala Type inference Variable Assignment OpenMP Computing Software engineering Computer programming
344	comp.lang.vhdl Frequently Asked Questions And Answers (Part 4): VHDL Glossary Preliminary Remarks This part of the FAQ is reprinted from IEEE Std[removed]IEEE Standard VHDL Language Reference Manual, Copyright © 1994 Add to Reading List Source URL: vhdl.org Language: English - Date: 2004-12-09 12:24:03 Type theory Computer programming Hardware description languages C++ VHDL Object-oriented programming EXPRESS Verilog Variable Software engineering Computing Data types
345	A Hope Interpreter — Reference Ross Paterson April 18, 2000 This manual is not a tutorial on functional programming, or on the language Hope. If you don’t know about both, you might start with something like Roger Ba Add to Reading List Source URL: www.soi.city.ac.uk Language: English - Date: 2000-04-18 09:35:25 Type theory Programming language theory Functional programming C++ Procedural programming languages Algebraic data type ALGOL 68 Variable C++ classes Software engineering Data types Computing
346	Figure 1. Venture Capital Under Management by Investor Type in Canada: [removed] $Can (billions of 2004 dollars) Add to Reading List Source URL: www.tfmsl.ca Language: English - Date: 2006-09-15 11:59:08 Finance Corporate finance Private equity Venture capital Rate of return Dummy variable Index Initial public offering Economics Terminology Econometrics
347	INFORMATION ETHICS GROUP Oxford University and University of Bari Levellism and the Method of Abstraction by Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2004-11-22 14:11:10 Data types Type theory Ontology Mind Quantum mechanics Abstraction Type system Observable Variable Metaphysics Philosophy Thought
348	A New Implementation of the Icon Language Todd A. Proebsting Microsoft Research Gregg M. Townsend The University of Arizona Add to Reading List Source URL: www.cs.arizona.edu Language: English - Date: 1999-10-05 18:38:36 Data types Type theory Java programming language Cross-platform software Subroutines Icon C Java Variable Software engineering Computing Computer programming
349	Dynamic Directed Random Matching∗ Darrell Duffie† , Lei Qiao‡ and Yeneng Sun§ Preliminary draft. This version: June 5, 2014 Abstract We show the existence of independent random matching among a continuum of agents Add to Reading List Source URL: www.darrellduffie.com Language: English - Date: 2014-06-06 19:59:23 Probability theory Markov processes Markov chain Stochastic process Random variable Stochastic matrix Probability space Poisson distribution Phase-type distribution Statistics Probability and statistics Markov models
350	Fortran 2003 extensions and the NAG Fortran Compiler October 17, [removed]Introduction Add to Reading List Source URL: www.nag.co.uk Language: English - Date: 2012-10-24 07:37:18 Data types Type theory Procedural programming languages Primitive types Object-oriented programming Fortran Pointer Variable Type safety Software engineering Computing Computer programming

UPDATE